Implication Details

Assumptions: locally cartesian closed, self-dual

Conclusions: locally cocartesian coclosed

Reason: This holds by self-duality.